Nuprl Definition : es-first
0,22
postcript
pdf
first(
e
) == first(
e
)
latex
clarification:
es-first(
es
;
e
) == first(es-pred?(
es
);
e
)
latex
Definitions
first(
e
)
,
es-pred?(
es
)
FDL editor aliases
es-first
origin